CORE_WF_THEOREMS 9,38
Wf theorems for definitions introduced
in core_1 theory.  

origin